- аксиоматизирование
- axiomatizing
Русско-английский словарь по информационным технологиям. 2015.
аксиоматизирование
Look at other dictionaries:
Аксиоматика Колмогорова — Аксиоматика Колмогорова общепринятый аксиоматический метод при математическом описании событий и вероятностей; предложен Андреем Николаевичем Колмогоровым[1][2] в 1929, окончательно в 1933; придал теории вероятностей стиль, принятый в… … Википедия
Колмогоровская аксиоматика — Аксиоматика Колмогорова общепринятый аксиоматический подход к математическому описанию события и вероятности; предложен Андреем Николаевичем Колмогоровым[1][2] в 1929, окончательно в 1933; придал теории вероятностей стиль, принятый в современной… … Википедия
